Typechecking with conditional parameters

visit shbcf.ru